- intuitive notion
- мат.интуитивное понятие
English-Russian scientific dictionary. 2008.
intuitive notion
Смотреть что такое "intuitive notion" в других словарях:
notion — [ nosjɔ̃ ] n. f. • 1570; lat. notio 1 ♦ (Surtout plur.) Connaissance élémentaire. ⇒ élément, rudiment. Avoir des notions de chimie, d anglais, d informatique. 2 ♦ Connaissance intuitive, synthétique et assez imprécise (que l on a d une chose).… … Encyclopédie Universelle
FONCTION (NOTION DE) — FONCTION NOTION DE Le terme de fonction a été introduit par Leibniz (1692) dans un contexte géométrique: il s’agit pour lui de portions de lignes droites qui dépendent d’un point variable sur une courbe, comme la tangente ou la normale. Jean… … Encyclopédie Universelle
Brouwer-Hilbert controversy — A foundational controversy in twentieth century history of mathematics opposed L. E. J. Brouwer, a supporter of intuitionism, and David Hilbert, the founder of formalism.BackgroundThe background for the controversy was set with David Hilbert s… … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
set theory — the branch of mathematics that deals with relations between sets. [1940 45] * * * Branch of mathematics that deals with the properties of sets. It is most valuable as applied to other areas of mathematics, which borrow from and adapt its… … Universalium
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Orthonormality — In linear algebra, two vectors in an inner product space are orthonormal if they are orthogonal and both of unit length. A set of vectors form an orthonormal set if all vectors in the set are mutually orthogonal and all of unit length. An… … Wikipedia
probability theory — Math., Statistics. the theory of analyzing and making statements concerning the probability of the occurrence of uncertain events. Cf. probability (def. 4). [1830 40] * * * Branch of mathematics that deals with analysis of random events.… … Universalium
Per Martin-Löf — in 2004 Born May 8, 1942 (194 … Wikipedia
